منابع مشابه
Linear Problems in Valued Fields
A quantifier elimination procedure for a class M over a language L is an algorithm that given an L-formula φ computes a quantifier-free L-formula φ′ such that M |= φ′ ←→ φ. An L-formula is called linear if it contains no products or reciprocals of quantified variables. Quantifier elimination methods for valued fields have been extensively investigated in the past. The existence of a quantifier ...
متن کاملStratifications in Valued Fields
In these notes, I present a new, strong notion of stratifications which describe singularities of sets in Henselian valued fields. In the first part, I give the definition, some examples, and I state the main result about their existence; in the second part, I explain how such a stratification in a valued field induces a classical Whitney stratification in R.
متن کاملFUZZY HYPERVECTOR SPACES OVER VALUED FIELDS
In this note we first redefine the notion of a fuzzy hypervectorspace (see [1]) and then introduce some further concepts of fuzzy hypervectorspaces, such as fuzzy convex and balance fuzzy subsets in fuzzy hypervectorspaces over valued fields. Finally, we briefly discuss on the convex (balanced)hull of a given fuzzy set of a hypervector space.
متن کاملSENSITIVITY ANALYSIS IN LINEAR-PLUS-LINEAR FRACTIONAL PROGRAMMING PROBLEMS
In this paper, we study the classical sensitivity analysis when the right - hand – side vector, and the coefficients of the objective function are allowed to vary.
متن کاملSensitivity Analysis for Interval-valued Fully Fuzzy Linear Programming Problems
In previous studies, it is pointed out that in several situations it is better to use interval-valued fuzzy numbers instead of triangular or trapezoidal fuzzy numbers. But till now, there is no method that deals with the sensitivity analysis of such linear programming problems in which all the parameters are represented by interval-valued fuzzy numbers. In this paper, a new method is proposed f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2000
ISSN: 0747-7171
DOI: 10.1006/jsco.1999.0303